PROCEEDINGS OF THE 14 th STUDENT SESSION OF THE EUROPEAN SUMMER SCHOOL FOR LOGIC , LANGUAGE , AND INFORMATION JULY 20 - 31 , BORDEAUX , FRANCE

نویسندگان

  • Ville Nurmi
  • Kata Balogh
  • Christian Retoré
  • Richard Moot
  • Uwe Mönnich
  • Marija Slavkovik
  • Szymon Klarman
  • Yavor Nenov
  • Stefan Wintein
  • François Bouchet
  • Daniel Lassiter
  • Ekaterina Ovchinnikova
  • Thomas Graf
  • Pere Pardo
  • Arno Bastenhof
  • Kostadin Cholakov
  • Xuchen Yao
  • Jianqiang Ma
  • Sergio Duarte
  • Sumiyo Nishiguchi
چکیده

Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge has been brought up in the research on the Semantic Web. In this paper we introduce a conservative extension to Description Logic, the formalism underlying Web Ontology Languages, supporting representation of ontologies containing relative terms, such as ‘big’ or ‘tall’, whose meaning depends on the selection of comparison class (context). The solution rests on introduction of modal-like operators in the language and an additional modal dimension in the semantics, which is built upon the standard object dimension of the Description Logic languages and whose states correspond to selected subsets of the object domain. We present the syntax and semantics of the extended language and elaborate on its representational and computational features.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reasoning with Probabilities

This is an outline for the course “Reasoning with Probabilities” taught at the European Summer School for Logic, Language and Information in Bordeaux, France on July 26 31, 2009 (ESSLLI 2009). This document contains an extended outline of the course including pointers to relevant literature. The course website: ai.stanford.edu/∼epacuit/classes/esslli/epprob.html will contain the slides and a sc...

متن کامل

Parsing with Categorial Grammars Workshop ESSLLI 2009 Bordeaux , France

We propose a new method to perform lexical disambiguation of Interaction Grammars. It deals with the order constraints on words. Actually, the soundness of the method is due to an invariant property of the parsing of an Interaction Grammar. We show how this invariant can be computed statically from the grammar.

متن کامل

Proceedings of the Eleventh ESSLLI Student Session

Standard Arabic (SA) is an extremely rich natural language that has unfortunately received very little interest within computational linguistics literature. We propose in this paper to explore this fertile ground and show the first steps towards the formalization of Arabic syntax and semantics by means of MultiModal Categorial Grammars. We will particularly focus on the analysis of some phenome...

متن کامل

Proceedings of the Eighth ESSLLI Student Session

Reflexives (e.g. himself ) and pronouns (e.g. him) are usually distin-guished by categorical conditions on their binding domains. However, there is aclass of English expressions of the form Possessive Pronoun+ass (e.g. your ass)which we demonstrate to have pronominal properties but which appear to haveunrestricted binding domains. We explore the problems such expressions pose fo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009